abstract problem instance

См. также в других словарях:

• Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… …   Wikipedia

• Abstract interpretation — In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer… …   Wikipedia

• Problem of Hell — The problem of hell is an argument against the existence of God. It is a variant of the problem of evil, applying specifically to religions which hold both that:# An omnipotent (all powerful), omniscient (all knowing), and omnibenevolent (all… …   Wikipedia

• Circle-ellipse problem — The circle ellipse problem in software development (sometimes known as the square rectangle problem) illustrates a number of pitfalls which can arise when using subtype polymorphism in object modelling. The issues are most commonly encountered… …   Wikipedia

• Word problem for groups — In mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a recursively presented group G is the algorithmic problem of deciding whether two words represent the same element. Although it… …   Wikipedia

• Transformation problem — In 20th century discussions of Karl Marx s economics the transformation problem is the problem of finding a general rule to transform the values of commodities (based on labour according to his labour theory of value) into the competitive prices… …   Wikipedia

• Gettier problem — A Gettier problem is a problem in modern epistemology issuing from counter examples to the definition of knowledge as justified true belief (JTB). The problem owes its name to a three page paper published in 1963, by Edmund Gettier, called Is… …   Wikipedia

• Chess problem — Part of a series on Puzzles …   Wikipedia

• Plato's Problem — is the term given by Noam Chomsky to the gap between knowledge and experience. It presents the question of how we account for our knowledge when environmental conditions seem to be an insufficient source of information. It is used in linguistics… …   Wikipedia

• Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most …   Wikipedia

• Group isomorphism problem — In abstract algebra, the group isomorphism problem is the decision problem of determining whether two group presentations present isomorphic groups.The isomorphism problem was identified by Max Dehn in 1911 as one of three fundamental decision… …   Wikipedia